Public-Key Cryptography
Arto Salomaa
Hardback
Not Available
Computable Analysis
Klaus Weihrauch
DNA Computing
Gheorghe Paun and 2 more
A Practical Theory of Reactive Systems
R. Kurki-Suonio
Abstract Computing Machines
Werner Kluge and 1 more
Software Engineering 1
D. Bjørner and 1 more
Parameterized Complexity Theory
J. Flum and 1 more
Software Engineering 2
D. Bjørner and 2 more
Software Engineering. 3 Domains, Requirements, and Software Design
Finite-Model Theory and Its Applications
Moshe Y. Vardi and 3 more
Modelling Distributed Systems
Wan Fokkink
In Stock
£44.99 £49.99
Dissemination of Information in Optical Networks
Subir Bandyopadhyay and 1 more
Temporal Logic and State Systems
Fred Kröger and 1 more
Paperback
Software Engineering 3. Domains, Requirements, and Software Design
Werner Kluge
Subir Bandyopadhyay
The Parametric Lambda Calculus
S. Ronchi Della Rocca and 1 more
Interactive Theorem Proving and Program Development
Yves Bertot and 1 more
The Resolution Calculus
Alexander Leitsch
Structural Complexity I
Jose L. Balcazar and 2 more
Graphs and Algorithms in Communication Networks
Arie Koster and 1 more
Finite Model Theory and Its Applications
Erich Grädel and 7 more
Grammatical Picture Generation
Frank Drewes
Decision Procedures
Daniel Kroening and 1 more
Models of Computation
Roberto Bruni and 1 more
Simulation Algorithms for Computational Systems Biology
Luca Marchetti and 2 more
£41.39 £45.99
An Introduction to Online Computation
Dennis Komm
Arie M. C. A. Koster
